Learn English free online - how to pronounce word in English - English Learning Online- www.pronounceword.com






Type Theory
  • 英语发声
  • 美语发声
  • In mathematics, logic, and computer science, type theory is any of a class of formal systems, some of which can serve as alternatives to set theory as a foundation for all mathematics. In type theory, every "term" has a "type" and operations are restricted to terms of a certain type.
  • 网络释义

    1、类型理论
    5.1.2 心理学派的人格理论 一、人格的类型与特质理论 1、类型理论(type theory) 德克莱齐姆(EKretchmer):肥胖型、 瘦长型、健壮型、畸异型; 瑞士荣格(CJung):内向型、外向型 2、特质理论(trait theory...
    2、翻译
    ...triguaiacyl翻译 【化】 三基; 三愈创木酚基; 三基; 三邻甲氧苯酚基type theory翻译 【计】 类型论, 类型理论topochemistry翻译 *[tɔpə'kemistri] 【化】 拓扑化学 ...

    短语

    type identity theory类型同一论

    type transformation theory型转化理论

    type transform theory型转化理论

    learning type organization theory学习型组织理论

    von Karman type nonlinear theoryvonKarman型非线性理论

    five-type personality theory五态人格

    learning-type organization theory学习型组织理论

    type-type identity theory类型同一论

    integro-type constitutive theory积分型本构理论

    专业释义

    计算机科学技术
    • 类型理论

      Lastly, the problem of software evolution caused by introducing agent model is studied based on an architecture description language named C2 ADL and software architecture type theory.

      最后,基于C2 ADL和软件体系结构的类型理论,系统地研究了引入Agent模型产生的软件演化问题。

      参考来源 - 基于类型论的ESB智能路由及服务组合
      型式理论

    英英释义




    英汉双解大词典